Replicated Synchronization for Imperative BSP Programs
نویسندگان
چکیده
منابع مشابه
Multiprogramming BSP Programs
We explore the problem of transforming a BSP program for execution on a multipro-gramming architecture, where it has to share resources with other BSP programs executing at the same time. 1 The BSP model The Bulk Synchronous Parallelism (BSP) 2] model is a general-purpose model that is both architecture-independent and eecient for most problems on today's architectures. A BSP program consists o...
متن کاملAxiomatic Frameworks for Developing Bsp-style Programs*
In BSP a superstep comprises a collection of concurrently executed processes with initial and terminal synchronisations. Data transfer between processes is realised through asynchronous communications. BSP programs can be organised either as explicit compositions of supersteps or as parallel compositions of threads (processes) which include synchronisation alignment operations. In this paper ax...
متن کاملReversing Imperative Parallel Programs
We propose an approach and a subsequent extension for reversing imperative programs. Firstly, we produce both an augmented version and a corresponding inverted version of the original program. Augmentation saves reversal information into an auxiliary data store, maintaining segregation between this and the program state, while never altering the data store in any other way than that of the orig...
متن کاملSemantics of a Functional BSP Language with Imperative Features
The Bulk Synchronous Parallel ML (BSML) is a functional language for Bulk Synchronous Parallel (BSP) programming, on top of the sequential functional language Objective Caml. It is based on an extension of the λ-calculus by parallel operations on a parallel data structure named parallel vector, which is given by intention. The Objective Caml language is a functional language but it also offers ...
متن کاملOnline synchronization of replicated models
This paper reports about our use of model versioning mechanisms in the industrial project ConfNet. The ConfNet software is used to organize sessions and talks for medical conferences. In these medical conferences, the presenters come with PowerPoint files on USB memory sticks. The technical team checks the PowerPoint files for external references e.g. to images or videos and converts each prese...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2017
ISSN: 1877-0509
DOI: 10.1016/j.procs.2017.05.123